Automata construction - PDFSEARCH.IO - Document Search Engine

Automata construction
Results: 60

#	Item
31	Microsoft PowerPoint - Automata Theory 101.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Powerset construction Ω-automaton Regular language Regular expression Formal language Symbol Automata theory Theoretical computer science Computer science
32	A Note on Phase Transitions and Computational Pitfalls of Learning from Sequences Antoine Cornu´ejols1 & Mich`ele Sebag2 1 AgroParisTech / INRA Add to Reading List Source URL: eprints.pascal-network.org Language: English - Date: 2008-01-16 05:03:29 Computer science Applied mathematics Deterministic finite automaton Finite-state machine Grammar induction Algorithm Sequence Powerset construction Automata theory Models of computation Theoretical computer science
33	Exact DFA Identification Using SAT Solvers Marijn J.H. Heule1, and Sicco Verwer2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:36:36 Automata theory NP-complete problems Graph coloring Graph theory Boolean satisfiability problem Deterministic finite automaton Clique DFA Records Powerset construction Theoretical computer science Mathematics Applied mathematics
34	“Maximal-Munch” Tokenization in Linear Time THOMAS REPS University of Wisconsin The lexical-analysis (or scanning) phase of a compiler attempts to partition an input string Add to Reading List Source URL: www.csc.lsu.edu Language: English - Date: 2002-06-08 18:46:58 Computing Automata theory Parsing Models of computation Lexical analysis Maximal munch Tokenization Finite-state machine Algorithm Programming language implementation Compiler construction Software engineering
35	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
36	Dependency Parsing with an Extended Finite-State Approach Kemal Oflazer∗ Sabancı University This article presents a dependency parsing scheme using an extended ﬁnite-state approach. The Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-22 11:47:26 Compiler construction Automata theory Models of computation Syntax Computational linguistics Dependency grammar Parsing Finite-state machine Formal grammar Formal languages Linguistics Grammar
37	Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings Jan Daciuk Alfa-Informatica, Rijksuniversiteit Groningen [removed] Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-01-27 11:24:13 Mathematics Computer science Finite-state machine Applied mathematics Algorithm Hash table Automata theory Models of computation Trie
38	LNCS[removed]A General Weighted Grammar Library Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-01-27 11:08:57 Computer science Applied mathematics Context-free grammar Regular grammar Regular expression Stochastic context-free grammar Powerset construction Regular language Finite state transducer Automata theory Formal languages Theoretical computer science
39	The Design Principles of a Weighted Finite-State Transducer Library Mehryar Mohri, Fernando Pereira and Michael Riley AT&T Labs — Research 180 Park Avenue, Florham Park, NJ[removed] Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-02-09 10:43:25 Applied mathematics Models of computation Finite state transducer Semiring Shortest path problem Algorithm Floyd–Warshall algorithm Powerset construction Theoretical computer science Automata theory Mathematics
40	Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmi Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-02 15:04:33 Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science

UPDATE